| emsoft | participants

Georgios Fainekos

Program Committees:
2018, 2019, 2020, and 2025
.

EMSOFT 2025: 25th International Conference on Embedded Software

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies

Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, and Lars Lindemann

EMSOFT 2019: 19th International Conference on Embedded Software

Worst-case Satisfaction of STL Specifications Using Feedforward Neural Network Controllers: A Lagrange Multipliers Approach

Shakiba Yaghoubi and Georgios Fainekos

EMSOFT 2015: 15th International Conference on Embedded Software

Requirements Driven Falsification with Coverage Metrics

Adel Dokhanchi, Aditya Zutshi, Rahul T. Sriniva, Sriram Sankaranarayanan, and Georgios Fainekos